(assert (not)
